first-order predicate logic
un. 一阶谓词逻辑
[网络] 一阶述词逻辑
热门查询
- steroidal adj. 甾族的
- kneecap n. 膝盖骨；护膝
- Arle [地名] [德国] 阿勒
- magnolia n. [植] 木兰；玉兰类的植物 adj. 木兰科的 n. (Magnolia)人名；(意)马尼奥利亚；(英)马格诺利娅
- abandon n. 放任；狂热 vt. 遗弃；放弃
- woolworth n. 伍尔沃斯（姓氏）
- mw abbr. 中波（Medium Wave）；兆瓦，百万瓦特(megawatt)
- wha [医][=warmed,humidified air]温暖、潮湿的空气
- harbour n. 海港（等于harbor）；避难所 vt. 庇护；藏匿；入港停泊 vi. 藏匿；入港停泊；庇护 n. (Harbour)人名；(英)哈伯
- divers adj. 不同种类的，各式各样的 n. (Divers)人名；(英)戴弗斯；(法)迪韦尔
- whirl n. 旋转，回旋；昏乱；一连串的事；短暂的旅行 vt. 使旋转；卷走，飞快地带走 vi. 旋转，回旋；急走；头晕眼花
- Whitchurch n. (Whitchurch)人名；(英)惠特彻奇
- honeybee n. [蜂] 蜜蜂
- acculturate vt. 使适应文化；使适应新的文化习俗 vi. 适应文化；适应新的文化习俗
- ensure vt. 保证，确保；使安全
- Lucien [人名] 卢西恩
- Howden [人名] [苏格兰人姓氏] 豪登住所名称，来源于古英语，含义是“隐匿处+河谷”(nook,recess+valley); [人名] [英格兰人姓氏] 豪登住所名称，来源于古诺斯语，含义是“头，顶，端+河谷”(head+valley); [地名] [英国] 豪登
- singable adj. 可唱的
- unconfirmed adj. 未证实的；未最后认可的；未受坚信礼的
- hippy n. 嬉皮士
考试词汇表
- afferent nerve fiber
- afferent neurofibers
- afferent neuron (AN)
- affidavit of consent
- affidavit of defense
- affidavit of finding
- affidavit of service
- affiliate herself to
- affiliate himself to
- affiliated interests
- affiliated societies
- affiliated trademark
- affine algebraic set
- affine configuration
- affine length of arc
- affine rectification
- affinely independent
- affinity coefficient
- affinity credit card
- affinity interaction
